Hybrid Static/Dynamic Activity Analysis
نویسندگان
چکیده
In forward mode Automatic Differentiation, the derivative program computes a function f and its derivatives, f ′. Activity analysis is important for AD. Our results show that when all variables are active, the runtime checks required for dynamic activity analysis incur a significant overhead. However, when as few as half of the input variables are inactive, dynamic activity analysis enables an average speedup of 28% on a set of benchmark problems. We investigate static activity analysis combined with dynamic activity analysis as a technique for reducing the overhead of dynamic activity analysis.
منابع مشابه
Dynamic stress concentration in a hybrid composite laminate subjected to a sudden internal break
In this work, transient dynamic stress concentration in a hybrid composite laminate subjected to a sudden internal crack is examined. It is assumed that all fibers lie in one direction and the applied load acts along direction of fibers. Two types arrangements are considered for the fiber; square and hexagonal arrangement. Using shear lag model, equilibrium equations are deduced and upon proper...
متن کاملThe investigating of relationship between changes of some of the cardiorespiratory factors during submaximal activity with slow component of Vo2 ,after static and dynamic stretching in active women
The purpose of this study was to determine the relationship between changes of some of the cardiorespiratory factors during submaximal activity with slow component of Vo2 after static and dynamic stretching in 16 active women from physical education college ( Mean ± SD : age, 23.87± 1.62 yr ; weight, 57.20 ± 7.84 kg ; height, 163.46 ± 6.23 cm; body fat % ,23.96 ± 2.70 and Vo2max, 42.15 ± 3.4...
متن کاملAnalysis and Simulation of Axial Flux Switched Reluctance Motor with Modified Stator Structure in Static and Dynamic Conditions
In this paper, a new structure of axial flux switched reluctance motors (AFSRMs) is proposed. Different combinations of rotors and stators affect motor torque and its performance. In this regard, changing the stator structure of the AFSRM leads to better results for torque and magnetic flux. The advantages of the proposed structure are short flux path, segmental rotor with improved flux density...
متن کاملHEAT: a combined approach for thread escape analysis
Thread escape analysis can determine whether and when a variable becomes shared by multiple threads, which is a foundation for many other program analysis and software testing techniques. Most existing escape analysis tools are either purely dynamic or static analyses. Static analysis, which considers all possible behaviors of a program, may produce false positives; whereas dynamic approaches m...
متن کاملHAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is caused by concurrent executions unexpectedly violating the atomicity of a certain code region, is one of the most common concurrency errors. However, atomicity violation bugs are hard to find using traditional testing and debug...
متن کامل